Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
111	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-15 16:47:35 Epistemology Gregory Wheeler Formal epistemology Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Default logic Logic Non-classical logic Science
112	CORRECTED FEBRUARY 11, 2008; SEE LAST PAGE Journal of Experimental Psychology: General 2008, Vol. 137, No. 1, 22–38 Add to Reading List Source URL: www.wjh.harvard.edu Language: English - Date: 2008-06-09 09:26:52 Mind Mental processes Counting Mathematical logic Addition Recall Elizabeth Spelke 0 Arithmetic Mathematics Cognitive science Elementary arithmetic
113	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
114	ON RESOLVING THE LITTLEWOOD-ROSS PARADOX (Published in Missouri Journal of Mathematical Sciences Vol.12 (No. 1, Winter 2000): 42-47) Add to Reading List Source URL: www.csc.twu.ca Language: English - Date: 2003-08-06 18:29:19 Set theory Hypercomputation Supertask Infinity Ordinal number S Cardinal number Ross–Littlewood paradox Mathematical logic Logic Mathematics
115	Journal of Computer and System Sciences 58, [removed]Article ID jcss[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2006-12-11 17:40:39 FO Finite model theory Function Query optimizer Mathematics Theoretical computer science Mathematical logic
116	On Notation for Ordinal Numbers Author(s): S. C. Kleene Source: The Journal of Symbolic Logic, Vol. 3, No. 4, Including an Update to A Bibliography Add to Reading List Source URL: www.thatmarcusfamily.org Language: English - Date: 2010-06-14 13:05:17 Mathematical logic JSTOR Academic publishing Publishing Academia Journal of Symbolic Logic
117	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
118	On the Restricted Ordinal Theorem R. L. Goodstein The Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp[removed]. Add to Reading List Source URL: hpcn.cse.iitm.ac.in Language: English - Date: 2012-07-24 00:01:30 Ordinal number Constructible universe Function Mathematical induction Primitive recursive function Binomial coefficient Bernoulli number Mathematics Functions and mappings Mathematical logic
119	Mathematical Logic as Based on the Theory of Types Bertrand Russell American Journal of Mathematics, Vol. 30, No. 3 (Jul., 1908), [removed]. Add to Reading List Source URL: www.cfh.ufsc.br Language: English - Date: 2009-03-04 08:57:27 Propositional calculus Functions and mappings Semantics Function Proposition Ordinal number Modal logic Negation Existential quantification Logic Mathematics Mathematical logic
120	Journal of Global Optimization 24: 285309, 2002. c 2002 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.ccas.ru Language: English - Date: 2003-12-19 14:38:47 Linear algebra Operator theory Calculus of variations Vector space Pullback Linear temporal logic Algebra Mathematics Mathematical analysis

UPDATE